projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0b964c0) | patch
misc/coverity: Model __builtin_unreachable()
authorAndrew Cooper <andrew.cooper3@citrix.com>
Thu, 25 Sep 2014 10:00:07 +0000 (12:00 +0200)
committerJan Beulich <jbeulich@suse.com>
Thu, 25 Sep 2014 10:00:07 +0000 (12:00 +0200)
commit5a88f6fede9af886bc4a32cf1b3cf7c36ef7baad
tree89e6e5950b7cd96ba46391d1ecc13e33379d05datree | snapshot
parent0b964c0c7eb986c6ebea5c8039d1e40e391e4d38commit | diff
misc/coverity: Model __builtin_unreachable()

This resolves 23 issues Coverity had identified by following the false path of
an ASSERT().

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
misc/coverity/model.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.